World Programming System - PDFSEARCH.IO - Document Search Engine

World Programming System
Results: 90

#	Item
1	Personal Web API Recommendation Using Network-based Inference Svetlana Omelkova1 and Peep Küngas1 1 University of Tartu, Estonia , Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-07-08 19:52:29 Computing Information science Information retrieval World Wide Web Software architecture Social information processing Web services Application programming interface Technical communication Recommender system Mashup Web API
2	AprilPartnership, power and adaptive programming: learning from Christian Aid’s governance service contracts Add to Reading List Source URL: programme.christianaid.org.uk Language: English - Date: 2016-04-29 09:17:14 International development Economic development World economy Department for International Development Aid effectiveness Governance Economy Picture archiving and communication system
3	Format of the observatory monthly means files Add to Reading List Source URL: www.bcmt.fr Language: English - Date: 2007-09-10 05:25:39 Software Computing Application software Free statistical software Literate programming R ASCII HTML element World Geodetic System
4	This is the authors version of the paper and intended for personal use only. Any other use may violate the ACM copyright. FeatureCommander: Colorful #ifdef World Janet Feigenspan, Maria Papendieck Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2011-07-21 04:57:33 Programming language implementation Conditional compilation Preprocessor Feature-oriented programming Product family engineering Software system Compiler
5	SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge1 David Sheets2 Thomas Tuerk3 Andrea Giugliano1 Anil Madhavapeddy2 Peter Sewell2 1 University of Leicester 2 Universi Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-10-06 13:24:19 Computing Software System software Application programming interfaces Rename Symbolic link POSIX File system permissions Hard link File locking File system Tar
6	WITS-API USER GUIDE Version 1.0 VERSION 1.0 Table of Contents Add to Reading List Source URL: wits.worldbank.org Language: English - Date: 2016-04-05 14:42:31 International trade World Integrated Trade Solution Tariff Harmonized System Datasource Application programming interface SDMX
7	Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-01-17 22:16:49 Logic Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical logic Security type system Symbol
8	Petrozavodsk State University Department of Computer Science Sergey Marchenkov, Andrey Vdovenko, Dmitry Korzun Enhancing the SmartRoom System Add to Reading List Source URL: www.cs.karelia.ru Language: English - Date: 2015-05-15 09:52:11 Keyhole Markup Language Web 2.0 Smart-M3 Computing Flickr Tourism Application programming interface World Wide Web Social information processing Human behavior
9	Verified Compilers for a Multi-Language World∗ Amal Ahmed Northeastern University Abstract Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 22:37:06 Type theory Procedural programming languages Compiler construction Cross-platform software Functional languages LLVM Type system Compiler Type safety Software engineering Computing Programming language theory
10	Statistical Debugging for Real-World Performance Problems Linhai Song Shan Lu ∗ University of Wisconsin–Madison Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-08-20 22:31:04 Debugging Mozilla Application Suite Computer programming Reliability engineering Linux kernel Google Chrome Bug tracking system Firefox Lookup table Software Computing Software bug